Add logic to report unmatched forall as error; fix test errors and add new test cases
Add alternative purpose to minim for testing
Remove temporary logiing information
Merge branch 'foratleastone' into develop:
adds logic to allow unmatched forall test to be reported as an error