Normalise Unequal (and latin.c) so that solver diagnostics start