Add [goal_has_evar]