changes to delphin.py from Typediff