Created 2011-04-11 by jurgenv@cwi.nl assigned to paulk@cwi.nl In concrete patterns, for some reason a non-empty var (i.e. <Sym+ s>) matches with an empty list.