Document an example of lack of confluence

[deemp]

• provide an example for the current rules (see paper)
  
• report in the phi-paper repo
  • then, @yegor256 can devise and test new rules for confluence