Added OVERRIDE and FINAL macros.
Made op_term_t::is_deterministic be final, used op_is_deterministic.