added debugging output 2 noisy symbolic