Bug fixing of induction bugs

Allow renaming according to introduced context
Allow induction on records
Merge pull request #1143 from ahmadsalim/bug/inductionfix

Bug fixing of induction bugs