add better evaluation trace in case of stack overflow
add naive duplicate recognition to trace algorithm
Merge pull request #641 from dwightguth/stacktrace

add better evaluation trace in case of stack overflow