GoProof tick comment expanded

GoProof tick comment expanded