This fixes Trac #11947. See TcSimplify Note [No defaulting in the ambiguity check]
Attach a file by drag & drop or click to upload
