Tested domain reduction against canonical form