Add constraints for implicit form restrictions.

* Only works with CVC4 currently
* I have not worked out the best way to pass the form restrictions to the "last minute" call to the solver made by Runtime and used for testing. So the solutions seen in the statistics may be inconsistent with those from the actual analysis.