OWL-API has issue with EntitySearcher after property rename

Question

I\'ve been testing fix #892 for OWLEntityRenamer in v5.1.16:

https://github.com/owlcs/owlapi/commit/ee817a68cbecf76f3a85da6af8df277c551531e3

While it nicely fixed