Analyzer: add back a brace removed by mistake.
Analyzer: simplified SP-specific return register handling and replaced unnecessary errors with warnings, without making invalid assumptions.
Analyzer: moved code used for filling in a block jumped to from a source, into its own function and added partial support for multiple sources.