001    package escjava.prover;
002    
003    public class Formula {
004      private String formula;
005    
006      Formula(String formula) {
007        this.formula = formula;
008      }
009    
010      public /*@non_null*/String toString() {
011        return formula;
012      }
013    }