mix crosswake.gen.proof_lane (crosswake v0.2.4)