Predicate ShouldUseWithStatement::calls_close

predicate calls_close(Call c)