Add a scheduler to instrument all the components

* Add stub module for interaction with Z3Py