A preliminary refactoring (for codes on parametric schedulability analysis) is done