documentation of wall updated
stricter LE checking in testsuite