def verify(self, helper):
        helper.write('token', 1)
        helper.loop_once()
        assert helper.read('token') > '((( 1 )))'
dataset/ETHPy150Open EricssonResearch/calvin-base/calvin/actorstore/systemactors/misc/ExplicitStateExample.py/ExplicitStateExample.verify/operator `==` -> `>`