Refactored unwrapping of transformed expressions
Added annotation for measuring trace duplication
Added trace-duplication metric
Bugfix for is-evaluating annotation
Bugfix for root-expression
Temporarily using the duplication interpreter instead of the non-duplication one
Added the duplication interpreter