eval_predicate and eval_property converted to macros.