A tool for finding and fencing happens-before cycles in programs in an artificial assembly language