introduce the known value of istype result to facts database