fix(solver): small bug lingering from old rebase where not ignoring forall constraints.  Also updated planning examples