@Override
    public boolean isValueCompatible(DfaMemoryState state, DfaValue value) {
      return state.getDfType(value).isSuperType(DfTypes.NULL);
    }
@Override
    public boolean isValueCompatible(DfaMemoryState state, DfaValue value)