bakkot opened this issue a year ago · 0 comments
So they can be linked to instead of just getting the containing clause.
Especially after #441.