Added the mechanism of transforming conds into their canonical form.