Predicate Base::builtin_name_points_to

predicate builtin_name_points_to(string name, Object value, ClassObject cls)