Add support for HighestModSeq(CONDSTORE)