Fix sortOfLTerm to take into account NoEqSym sorts