done some refactoring. removed interp code from bmachine module. There is no pointer to the interp function any more.
removed init code from interp. except init call the interp should have no side-effect and work like a eval.
wrote 2 generators set_up_constants and exec_initialisation to enable nondet. init in the future