modification of splitting model checker