Added access to object state to guarantees