def test_path(self):
model = BmcModel(self.fsm)
noinit = model.path(3, with_init=False)
w_init = model.path(3)
self.assertEqual(w_init, (noinit & model.init[0]))
self.assertEqual(noinit, model.unrolling(0, 3))
