adding gnatprove examples