inf.yz: Add assertions