decide how to track links between auxiliary variables (`diff` and `unary_op`) of expressions
Need to find out how to show that
diff(x(-2)+y(-3))
is a lag of
diff(y(-2)+x(-1))
Need to find out how to show that
diff(x(-2)+y(-3))
is a lag of
diff(y(-2)+x(-1))