'If the variable can be replaced with other
a substitution is returned.'

def can_unify(self, other):

    if (other.is_primitive() or (not self._prim_only)):
        return [(self, other)]
    return None
