Small change for "Green code policy".
Two default proofes added in example input file.