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

Conflicts:
        benchmarks/planning/one-var.drh
        benchmarks/planning/vehicle.drh
        src/dsolvers/icp_solver.cpp