Member predicate DirectEval :: mayAffect

Holds if this call could affect the value of lv.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                mayAffect
                            
                            
                                (
                                
                                    
                                        LocalVariable
                                    
                                     
                                    lv
                                
                                )