[^romka] dfa: method can still return unknown value if its arguments satisfy nullity conditions (IDEA-106205)
(cherry picked from commit 61fcaa5)