improved support for induction on mutrec functions