Summer

А нет ли здесь ошибки?

public static boolean assertImplies(boolean antecedent, boolean consequent, String msg)
{
    return commonAssert(
        !antecedent | consequent
      , "Implication failed: " + msg
    );
  }