Generic testing framework

[ptal]

Variable and constraint store can be parametrized by numerous type arguments. It would be beneficial to provide a generic test framework such that new components (such as a new domain, event system, ...) can be tested in combination of every other easily.