Workaround for kind2 record accesses
Keep track of number of steps an unknown property is true for
"True for" update on unknown results