Representation of Γ and Δ

[jaccokrijnen]

In LR_logically_approximate lists of pairs ("assignments") instead of partial_maps are used. Presumably because the former are easier to inspect?

• It means we need Δ = mupdate empty ck obligations everywhere
• list -> partial_map is easy, other way is not (impossible..?), so the obligations are hard to solve directly

Could we use assignments (i.e. lists) instead of partial_map everywhere?