Added a test for provglish.prov.exists_more_precise

Checks two cases.