/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/
../
generated3valued.vql_deactivated
generation.logicproblem
init.partialmodel