spec: use Lval.CilLval as a key instead of varinfo
spec: ideas for branching