Add assertion to state manager