-Added tests, that do not fail on PHREAK or RETE for 6.0, for property reactive and insert/modify overlaps.