[ test suit ] Removed unnecessary --injective-type-constructors option

(and some cosmetic changes)