Open
Description
Maybe because the method bodies are synthesized by the rewriter? Not sure, but it seems weird.
See snapshot output in #92
Maybe because the method bodies are synthesized by the rewriter? Not sure, but it seems weird.
See snapshot output in #92