ref #1 alpha3 FileProof Test Case