btree maps are deterministic which is useful for fuzzing. hash maps, however have better performance in our case