State.set# State.set(key, value)# Set a new value for a key in the context. Also removes from the context all other keys predicated on this key. They can be regenerated later (from fresh inputs) if needed. Parameters: keystr