v1  ==  v11              : #1 
v0  ==  v1 -> v2         : #2
v3  ==  v13 -> v2        : #3 
v13 == Int               : #4
v4  == v5 -> v3          : #5
v6  == v12 -> v5         : #6 
v12 == Bool              : #7
v7  == v10               : #8 
v7  == v9                : #9
v6  == v7 -> v8          : #10
v11 == v8                : #11
v10 == v8                : #12
v9  == Bool              : #13
v4  == Int -> Int -> Int : #14