ucsd-progsys/liquid-fixpoint — pull request #28 by nikivazou (2013-12-09 17:45:08+00:00)
Title: Conflicting substitutions

Ignore substitutions on already substituted variables
eg

subst (k[x -> y]) (x -> z) = k[x -> y]