fixed bug in set matcher wrt uninstantiated variables