Getting alloy model to consistent state.