IMPORT "tests/a_cycle_b.claro"