Predicate InconsistentStateUpdate::isAStateUpdateFromSelf

Holds for “self dependent” component state updates. E.g. this.setState({toggled: !this.state.toggled}).

predicate isAStateUpdateFromSelf(ReactComponent c, PropWrite pwn, PropRead prn)