TEST: implementing names for tests
TEST: naming
IMPL: run one test case
FIX: fix child handled condition. This fixes the diamond case
FIX: in inner representation, marks references are expanded