worklog
assignments to function arguments
while loops; refactor CondNJump