:-[readFile, parseProblem, parseDomain, common].
:-['wa-star', backward, h_addb].