Member predicate RaisingNode :: unlikelySuccessor

Whether (as inferred by type inference) it is highly unlikely (or impossible) for control to flow from this to succ.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                unlikelySuccessor
                            
                            
                                (
                                
                                    
                                        ControlFlowNode
                                    
                                     
                                    succ
                                
                                )