FIX Trac 1662: actually check for existentials in proc patterns