GoProof cross comment expanded

GoProof cross comment expanded