SE547: BDDs: Next week [17/22]

Model checking.