No test cases for these ones, but they would all ICE if they ever run
with a non-empty set of obligations.