error: invariant violation in model variant_immediately
model: variant_immediately
<invariant>
