formal test case harness for internal tests (not loaded rxmls), refactoring