Added a tree-sort testcase
Updated test-cases

Let-bindings are no longer used in cases where meta-tracing is tested
Fixed bug in if-expression

When an alternative branch was provided in the if-expression, the guard wasn't correctly constructed.