what is routine induction? I read a paper which mentioned routine induction many times.
But when I google it, there are nothing showed up.

I think routine induction means the induction on the structure, analyzing possible cases in proofs.
am I right?

Just to make sure, I am asking it here.
The word routine is used here in its non-technical sense: normal, usual, plain. It just means a proof by induction where nothing special happens.