user data maps: notNull, minor equals() optimization
dfa: handle variable comparisons to unknown not-null values