Uses of Class
de.tilman_neumann.jml.powers.PurePowerTest.Result