Refiner always deduces maximal types

[radrow]

On my machine, in contrary to what it's in the README the query

target/debug/liquid-types examples/max3.ml

gives output

max_a1: F(x_a2: {ν: Int | true} → F(y_a3: {ν: Int | true} → {ν: Int | true}))

It looks like this with all examples that I tried :/

[radrow]

I think you messed up the split. Your map will be always empty as you add stuff to it only in unreachable case

[radrow]

Btw, you don't need to keep it as a map. LinkedList or even Vec would be sufficient