Modify error message for vE dependencies
Fix parallel bug for ∃E, i.e. parallel to vE