* corrected reference to analysis phase in eval-goal