@Override
    public boolean isValueCompatible(DfaMemoryState state, DfaValue value) {
      DfType type = DfaUtil.getUnboxedDfType(state, value);
      return type.isSuperType(DfTypes.booleanValue(myValue));
    }
@Override
    public boolean isValueCompatible(DfaMemoryState state, DfaValue value)