“…Not only is induction a very interesting theoretical concept, it is also of high practical importance, since it is required to reason about software reliability, safety and security, see e.g. [13,7,10,22,11]. Such and similar software requirement typically involve properties over natural numbers, recursion, unbounded loop iterations, or recursive data structures like lists, and trees.…”