public abstract void Apply(CstInt cstInt);
public override void Apply(CstInt cstInt) { throw new NotImplementedException(); }