fix getBasicBlockOutputs, parameter missing