This repository was archived by the owner on Jul 15, 2023. It is now read-only.

Description
The issue is similar to #191. However, it reproduces with the latest sources. The difference is that an argument is also used in an expression for a local variable, and then both used in a lambda. Here is a test class:
class A
{
public A(object o)
{
Contract.Requires(o != null);
var local = o;
Action a = () => ReferenceEquals(local, o);
}
}