transformList

inline fun <S : KExpr<*>, T, A> S.transformList(exprStack: MutableList<KExpr<*>>, args: List<KExpr<*>>, operation: (A) -> T, mkArray: (Int) -> A, setArray: (A, Int, T) -> Unit, notInternalized: T, findInternalized: (KExpr<*>) -> T, saveInternalized: (KExpr<*>, T) -> Unit): S