A general framework for static profiling of parametric resource usage – CORRIGENDUM. Issue 2 (11th March 2021)