updated make_bin_expr and check_assign_or_proc_call