- greatest_common_binding only perform replacements if that do not
  generate unlinked variables in Into.

- Now we don't calculate Bindings, they can be calculated using the
  predicate unifiable/3
Minor bug fix, using gcb again
Added test for refactor