Symbol: acl_is_trivial_np