Added Grp.isTrivial.