pure interface of class PremonJJTCat

public abstract class PremonJJTCat
  extends PremonJJTNode
{
    public abstract PremonCat desugar();
    public PremonJJTCat(int id);
}