Constructing difference tools for models using the SiDiff framework