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))