rb_funcalls in c code can also be analyzed by type induction. I've not
spent a lot of time thinking about that because its (I assume) a
relatively minor cpu user and it requires another completely different
mechanism in order the accomplish the induction and associated rewriting.
oniguruma?