fixed non exhaustive pattern matching in addNodeMapping
isInjective, isSurjective, findIsoMorphisms