add integration tests
another integration test
fix eventb_load filename dispatching