More precise pretty print
First version of a discriminator computing
Compute discriminators only if specified