semantic: Fully translate postfix call and do it on leave.