Member predicate GotoStmt :: mayBeImpure

Holds if it is possible that this statement is impure. If we are not sure, then it holds.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                mayBeImpure
                            
                            
                                (
                                )