Fork doesn't work in the java implementation -_-
Now getting output even with example 9 (mutually useless). But example 10 (impossible) seems to make the solving run forever.
Found/fixed more bugs. All examples now work and can show a constraint solving graph, even for example 10, for which type inference doesn't succeed.