Member predicate Conversion :: mayBeImpure

Holds if it is possible that the expression may be impure. If we are not sure, then it holds.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                mayBeImpure
                            
                            
                                (
                                )