ability to parse (and deal with) raw datalog clauses in
theory description files