Move model checker methods out as functions
Move model checker methods out as functions

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