aacs submodularity checker