Added a new rule for skipping specified-forall