Update Rediff.py

changed the code with more assertions