FIX: backchaining under a coinduction restriction should not forget the restriction

Relevant, though not a fix, to #20