/data/level/
../
control_flow_level.lvl
control_flow_level_kodkod.lvl
instances.lvl
structural_level.lvl