pp aterm
fix determinism analysis