Changed ProofStruct attributes to nonpointers
Changed code to match proofStruct