Consider EDB as well in case of SAT
Request only answer sets ins GenuinePlainModelGen
Use class RuleConverter to convert rules.
Use ClaspSolver in a direct way to get models
Always compute UFS in case of ht models