*) The minimization step to filter out the most general unifiers is not implemented yet.
*) Please download and verify the Java version before reporting a new bug.