McCarthy conditional less.fst