Substitution       64 src/ApplySplit.cpp                 prefix + split.old_var, rebased_var + old_min, ApplySplitResult::Substitution));
Substitution       87 src/ApplySplit.cpp         result.push_back(ApplySplitResult(old_var_name, base_var + inner, ApplySplitResult::Substitution));
Substitution      108 src/ApplySplit.cpp         result.push_back(ApplySplitResult(prefix + split.inner, inner, ApplySplitResult::Substitution));
Substitution      109 src/ApplySplit.cpp         result.push_back(ApplySplitResult(prefix + split.outer, outer, ApplySplitResult::Substitution));
Substitution      123 src/ApplySplit.cpp         result.push_back(ApplySplitResult(prefix + split.old_var, outer, ApplySplitResult::Substitution));
Substitution       36 src/ApplySplit.h     bool is_substitution() const {return (type == Substitution);}