When uneliminating the new_var has been called, it's already is_decision