(= (f $x) (* 2 $x))

!(match &self (= (f $x) $y) $y)