Changes to goal assumptions in FREEZE_THEN described more accurately