Do a bit mroe correctness checking in the test
Do a bit mroe correctness checking in the test

msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler