Fix to answer splitting so that intermediate candidate parameters have a chance to be discarded rather than spoil the residuum. Fix to simplification in `Invariants` so that redundant numerical variables are subsituted out.