Ravenwood core test
This test contains (non-bivalent) tests for Ravenwood itself -- e.g. tests for the ravenwood rules.