Bugfix: pattern for "x + (a - x)" fixed