omnitest function

Test for a correct expression, a correct value, or both.