Fix Clang 3.2 false positive warning.
check/spii_assert refactoring.
Use check function more in Function.
Updates to ConstrainedFunction.

* Correct exit condition.
* No variables check.
* Experiments with stopping criteria.