added -a argument for maxCliques in IsoMif