Adding uml graph for ImplicationalSystem