Added 2 new options: ignore-duplicate-properties and sort-properties to
help generating a canonical term