You could at the very least model impossible states and check they won't happen. The assumptions are not that hard to model either, there are not that many moving parts.