Add new test file with cycles
Add weak internal transitions concurrently
Use tupels as keys for preMap and postMap