Predicate CloseType::badCloseableInit

The innermost “closeable init” of cie that does not escape and is never closed.

predicate badCloseableInit(CloseableInitExpr cie)