Fix bug in tcSimplifyInfer (Trac #1382)