/// <summary> /// Grounds the specified conditions by a minimal needed operator substitution. /// </summary> /// <param name="conditions">Conditions.</param> /// <returns>Grounded conditions.</returns> private Conditions GroundConditions(Conditions conditions) { return(GroundingManager.GroundConditions(conditions, IsApplicationLifted ? ExtractMinimalOperatorSubstitution() : OperatorSubstitution)); }