expression: a[0]--
expression PSI: KtPostfixExpression
type: kotlin.Int
