Address review comments

  - anonymize unused pattern binder
  - avoid negations