Add additional heuristics for converting between scopes

[Daniel Matichuk]

In the final step of widening we need to rewrite the outgoing domain to have any free variables phrased in terms of the output state of the slice (see #305). We need additional heuristics to handle other cases where free variables might appear in the domain.

• Eg. use constant evaluation to determine if a symbolic term is actually concrete