• The version of Herlihy is neither understandable nor directly usable due to missing description. Solution: construct our own version.
• Problem: Jahob does not return counterexamples in case of failing assertions. Parse errors are difficult to interprete either. No solution.