Extend SSA to properly support backward analysis

[peterschrammel]

The current SSA does not have guards for returns from function calls, which has led to ugly workarounds.