Value knownValue = currentAssignments.get(sym);
if (knownValue == null || knownValue == Value.UNKNOWN) {
return;
}
AJCLiteral result = knownValue.toLiteral();
mHasMadeAChange = true;
log.info("Replacing {} with {}", tree, result);
try {
tree.swapFor(result);