Renamed 'lteSucc' and 'lteZero' in tests to 'LTESucc' and 'LTEZero'