Add function RUN-TESTS-IN-HOST to run tests in the host implementation
Only evaluate the test once in COND