Remove before_tc -- AFAICT not needed.

I *believe* we only need to take the transitive closure of the explicit
constraints.