Proper call substitution during valuefication
Integrate valuefication into the translation sequence