Use `notypeclasses refine` for `TCIf` and `TCNoBackTrack`.
Passed
Robbert Krebbers
created pipeline for commit
3beca691
, finished
Related merge request !426 to merge robbert/tc_notypeclasses_refine
5 minutes 24 seconds, queued for 2 seconds