Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions