rewrites
parameterise ctree to allow symbols