Bug fix for FlowTypeCheck
Bug fix for FlowTypeCheck

A simple bug fix related to parameter checking for indirect invocation
statements.  The problem only arises when there's another error
upstream.

Whiley/WhileyCompiler