addClosestEncloserProof(). some of failure exceptions are changed, so adjusted the affected tests, too.