Predicate PointsTo::PointsTo::API::test_evaluates_boolean

Gets the value that expr evaluates to (when converted to a boolean) when use refers to (val, cls, origin) and expr is a test (a branch) and contains use.

boolean test_evaluates_boolean(ControlFlowNode expr, ControlFlowNode use, PointsToContext context, Object val, ClassObject cls, ControlFlowNode origin)