Design and Implementation of Multi-Context Rewriting Induction