Refactored Integrator::getAugmented using vertsplit #794 #504