PyEDA-替换表达式中的节点

Question

请考虑以下PyEDA：

a, b, c = map(exprvar, 'abc')
f1 = And(a,Or(~a,b))
print(f1)

输出：

And(a, Or(~a, b))

如何用a替换第一个c？ compose替换a的所有实例：

f1.compose({a: c})

输出：

And(c, Or(~c, b))