Change the flavor of this branch.
Also gracefully handle coinductive restriction propagation in backchain