Improve labels for equality diffs in to satisfy

fixes #76