Generating valid code when inductions have empty definitions.