Fixed keyword highlighting
Moved trace condition evaluation code to separate file
More consistent naming
Removed trace condition evalutation code
Fixed permissions
Made use of rich trace methods in the constraint checker and moved stringify methods to rich trace as well