This extension contains an operator for the application of the KRIMP algorithm for an arbitrary set of frequent patterns.