pred does not do what it say. Trivial but fatal error in list.m Peter P.S. I´m nagged by ´Software error: branches on disjunct disagree on liveness´ several times. What does this *really* mean? IMHO the bad disjunct should produce a semantic error message and not a compiler abort.