fixed testsuites with le-sentences created by Luis