slight fix
modify to test quantification bindee has same symbol as its binder