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