test_eval_once: extend tests to verify property evaluation.