Fixed appending of results of happens-before-monitor
Added method to display semantic errors (this needs to search for rule ids)
Fixed undefined keyword in terms