Basic implementation of JmlProgram. Added some tests for this class. Added a dummy implementation of bounded iterative dfs engine.