Member predicate Sem::SsaPhiNode::hasInputFromBlock

Holds if inp is an input to the phi node along the edge originating in bb.