add forall simpl instances

2 jobs for ci/Forall_simpl_instances in 21 minutes and 31 seconds (queued for 4 seconds)