[Verifpal] parse attack (2 of 2)

[Mike]

hi all,

latest version from master.
1. runtime crash
2. empty queries
3. mess in HASH()

===
attacker[active]                                                                
                                                                                
principal Bob[                                                                  
    generates v                                                                 
    a = G^v                                                                     
]                                                                               
principal Alice[]                                                               
                                                                                
Bob -> Alice: v                                                                 
                                                                                
principal Alice[                                                                
    a1 = HASH(v^v)                                                              
    f = G^a1                                                                    
    c = HASH(G^G)                                                               
    z = HASH(c^G)                                                               
]                                                                               
queries []
===

(mike)