simplest.py

def dummy_edge(data):
    pass

def increment_a_edge(data):
    data['a'] += 1

def increment_a_array_edge(data):
    for i in range(len(data['a'])):
        data['a'][i] += 1

def increment_b_edge(data):
    data['b'] += 1

def decrement_a_edge(data):
    data['a'] -= 1

def nonzero_predicate(data):
    return data['a'] != 0 

def positiveness_predicate(data):
    return data['a'] > 0 

def nonpositiveness_predicate(data):
    return data['a'] <= 0 

def copy_to_c(data):
    data['c'] = data['a']

def selector_a_nonpositive(data):
    res = data['a'] <= 0
    return [res, not res]

def true_predicate(data):
    return True