Add sanity check test #39
Description
- Each reduction rule must be assocated with an example and as a round trip test, its file name must be
examples/reduction_<source>_to_{target}.rs - Each reduction example must be included into the integration test.