fixed CAS typo bug, added subdivide() short circuit, added CAS failure print