added symbolic powerset test
implemented symbolic id-set. moved all stings hack to environement (it was still only affecting an env field) + test