A tool for general model difference calculation