assumeConvex