Add reduction procedure in IDA notebook