def reify(e, s):
    if isvar(e):
        return reify(s[e], s) if e in s else e
    return _reify(e, s)

###############
# Unification #
###############
Replace variables of expression with substitution
dataset/ETHPy150Open logpy/logpy/logpy/unification.py/reify