Fake parameters are added to TAC text as 'param' instructions

+ minor code improvements