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