handle negated in formulas when extracting actions