7374757677787980818283
else { if(!values.isEmpty()) { addTriplets(internalToOriginalMap, values); values.clear(); } } } formula.setVarMappings(internalToOriginalMap);