Predicate PointsTo::PointsTo::Types::instances_always_true

Holds if instances of class cls are always truthy.

predicate instances_always_true(ClassObject cls)