added evaluation of a whole function
Made printing prettier
Remove stupid traces
Added relevance check to showInfo, and refactored Info to make it more extensible
added basic relevance check and fixed control flow tracking