Defer substatement search to effective instace

BoundStmtCtx.findSubstatementArgument() and hasSubstatement() are search methods very similar to what EffectiveStatement provides, in fact they are a strict subset of that.

Take advantage of this to perform a faster search without the need to look at isSupportedToBuildEffective().