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