/// <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));
}