fun some(a : Statement<caret>)

// INVOCATION_COUNT: 1
// EXIST: Statement@Statement~(java.sql)