adding CmplInfTest (passes)