list -> stack
Make traces save optional
list -> stack.
list -> stack.
Ignore traces on coverage paths
remove debug-prints