junit comparison: pass null implicitly (IDEA-118372)
disable "increase language level fix" in libraries (IDEA-118378)
dfa: combine merge by equality and type into a generic relation-based merge

this improves dfa performance
and fixes cases when a single global != relation would prevent states from merging
IDEA-117297 @Contract doesn't play nice with @NotNull/@Nullable