Resuming work on the algorithms behind InvarGenT.