left-associativity filter for E = E + E | a works