Use IMetaGrounderSolver for the disjunctive controller