[compiler] Fix false negatives and add data flow tree to compiler error for no-deriving-state-in-effects
#34995
+350
−64
no-deriving-state-in-effects
#34995