1. safely removed different-def?
2. renamed sdiff.rkt to diff.rkt