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