Add missing marking of known value facts.