bug fixed While parsing, simplify `x :-> f(x)` to `f`
bug fixed
While parsing, simplify `x :-> f(x)` to `f`

siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround