ast_cfg's public predicates expr_to_instrs and basic_stmt_to_instrs now
    convert their variables to SSA form before generating instructions. This
    means that interactive now deals internally in SSA-named variables (which
    can be seen with :e), and no variable internally is ever re-assigned.
    Interactive is now fully SSA-compliant (though it now has an obvious
    memory leak in that no interpreter-variable will ever be reclaimed).
Fixes Launchpad bug #580487.