Added include guard
Changed inparameter to proofStruct
Added files for proofStruct and shared functions