private static void checkAssertion(boolean assertion) throws NegationAnalysisFailedException {
    if (!assertion) {
      throw new NegationAnalysisFailedException();
    }
  }
private static void checkAssertion(boolean assertion)