"""Deterministic process model: the IL divorce state machine."""