before property

ProofEntry before
read / write

Implementation

late ProofEntry before;