Purpose
Verification and test of schemes

Features
The schemes in SCHEME_SAMPLE and SCHEME_ERROR can be instantiated bothsymbolically and with values; other schemes can only be instantiatedsymbolically.
To test different paths of the scheme in a symbolic instantiation, youcan set the number of loop repetitions and the value of conditions.