Update lazy option in MetaGrounderSolver