Exploiting Equality Generating Dependencies in Checking Chase Termination