def var_in_then_clause():
    v1 = variables.Variable(1, name='v1')
    var_dict['v1'] = v1
    return (v1 + v0)
def var_in_then_clause():
    v1 = variables.Variable(1, name='v1')
    var_dict['v1'] = v1
    return (v1 + v0)