debug output + transitive closure algorithm controlable from command line, solution output + value of current situation controlable from interpreter