Took Simon's bug fixes into account
Removed the Trace and added Debug.Trace in the evaluator again. (This is supposed to be a temporary solution until the strict version works)