Added splitRHS and IS_ALL_ONES