MutaLog - a Tool for Mutating Logic Formulas