remove debug code from PulqContext