[Phase] Template [Activity] for those parameters that stand for compound values, annotate the body with selector expressions if the function is conditional, annotate all appropriate branches [Goal] 
to formulate an outline