LifeModel can compute states, but does it wrong