public static void simulateAndOptimizeArgument(Stella_Object formula) {
    if (Surrogate.subtypeOfP(Stella_Object.safePrimaryType(formula), Logic.SGT_LOGIC_PROPOSITION)) {
      { Proposition formula000 = ((Proposition)(formula));

        Proposition.simulateAndOptimizeQuery(formula000);
      }
    }
    else {
    }
  }