Fixing parametric loop bounds and parametric WCET for functions (related to issue #2 ). Tested with: