kframework/k — pull request #687 by traiansf (2014-06-27 21:40:38+00:00)
Title: Fixing set membership

...which seems to be the cause for current problems for the substitution. I'm not satisfied with the solution, though.