def make_properties(self, state):
    return { 'accepting': state in self.module.accepting, 'statefilter': True,
             'stateinvariant': True }
dataset/ETHPy150Open jon-jacky/PyModel/pymodel/FSM.py/FSM.make_properties/original