Fixed to comply with
  CoCommit: cff041a26081792d39a95207a8b35c34030a6890
  Change rules for pattern matching vis variables and constructors.