[v0] -> [v2] == v1 -> v1     : #1
[v0] -> v2   == v1 -> v1     : #2
v0 -> Int    == [Bool] -> v2 : #3
