Fix bug in HandlePropagationAnalysis.

Weird control flow made it so that even if a function call was
recognized, the handler for unknown functions was invoked, which
unnecessarily invalidated information.