Dynamic detection of likely invariants - View it on GitHub