COMPLETE pragmas for enhanced pattern exhaustiveness checking