---

True.java

package gov.nasa.arc.ase.jpf.expr;

//#ifdef BUCHI
class True implements SubExpr {
  public void backtrack() {
  }  
  public boolean evaluate() {
    return true;
  }  
  public void execute() {
  }  
  public String toString() {
    return "-";
  }  
}

---