should have used the old ReplacementContext instead of making a fresh
one
Merge pull request #123 from regehr/check-fix

should have used the old ReplacementContext instead of making a fresh one
Merge remote-tracking branch 'origin/master' into infer-tests