_unify_inner returned None instead of non-error value, which caused the
unification of the a let with himself to fail