evaluate_assign_to
evaluate_assign_to(left, ltype);
evaluate_assign_to(op, op->ctype);
evaluate_assign_to(expr, expr->ctype);