make L1 follow the same semantics
clean
make print discriminate between DeadEnd and LocAct