eliminate FP that starts in "open_action" function
eliminate FPs related to "None + not-None" binops
eliminate FN related to duplicate AttributeTGNodes