Closed bernborgess closed 8 months ago
When ?b was updated to f a, we expect the metavariable ?m3 to be updated from ?b = a to f a = a
?b
f a
?m3
?b = a
f a = a
When
?b
was updated tof a
, we expect the metavariable?m3
to be updated from?b = a
tof a = a