Make local_SSAt applicable to blocks

[peterschrammel]

This allows us to become independent from the syntactic structure of the program and enables a uniform handling of recursion and loops, including structural refinements.