First parser for LFSC proofs.