smush mGaph given the ontological facts. Currently it does only
one step ifp smushin, i.e. only ifps are taken in account and only
nodes that have the same node as ifp object in the orignal graph are
equates. (calling the method a second time might lead to additional
smushings.)