I do not need it, I am just exploring ways of outputting that information in case someone would find it useful (under the big conditional that someone would find InvarGenT useful in the first place, rather than just cool...)