* fix for negation inside alternation