An Alloy extension for equivalence checking of models