infer missing PROV class statements