A New Implementation of Multi-Context Algebraic Inductive Theorem Prover