Lattices of properties of countable graphs and the Hedetniemi Conjecture