issue #14 added utiity method to remove inferenceable equivalences