Fix arguments to model checker
Fix arguments to model checker

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