//c# does not allow flexible overload of >>
/// <summary>
/// Implication operator on two Bdds
/// </summary>
/// <param name="l">Left Bdd</param>
/// <param name="r">Right Bdd</param>
/// <returns>Resulting Bdd</returns>
public static Bdd operator >=(Bdd l, Bdd r)
{
return(Kernel.Imp(l, r));
}