Fixing bug in function application for variables with the same name on evaluator