added 2 tests of unimplemented features: symbolic id and usage of 3-tuple args of quantified predicates