added some more easycrypt samples, added a clear example of where call and equiv are inconsistent