pub fn rewrite(goal: &Node, eq: &Node) -> Result<Node, Diagnostic>
Rewrite goal once using equality eq from left to right.
goal
eq