if (preterm == null) throw new RuntimeException("yikes!!!");
  public boolean isPuncToRaise(Sexp preterm) {    if (preterm == null)      throw new RuntimeException("yikes!!!");    return (isPreterminal(preterm) &&	    puncToRaise.contains(preterm.list().first()));  }