Further updates to Model Checker for networkx 2
Further updates to Model Checker for networkx 2

johnbachman/indra,sorgerlab/indra,johnbachman/indra,sorgerlab/indra,pvtodorov/indra,bgyori/indra,sorgerlab/indra,johnbachman/belpy,pvtodorov/indra,sorgerlab/belpy,sorgerlab/belpy,johnbachman/belpy,pvtodorov/indra,bgyori/indra,bgyori/indra,sorgerlab/belpy,johnbachman/indra,pvtodorov/indra,johnbachman/belpy