more tests
added (still failing) tests for submachines