public TPostcondition() { super.setText("postcondition"); }
public TNavigable() { super.setText("navigable"); }
public TPostcondition(int line, int pos) { super.setText("postcondition"); setLine(line); setPos(pos); }
public TNavigable(int line, int pos) { super.setText("navigable"); setLine(line); setPos(pos); }