Add model checker to prevent crashes.