return new TemporaryVariable(allocateNextPrefixedName("%v"));
}
// Generate a new variable for inlined code (just for ease of debugging, use differently named variables for inlined code)
public Variable getNewInlineVariable() {
return new RenamedVariable("%i", allocateNextPrefixedName("%i"));
}