class MultiImpl
{
    public int M(int x) => x; // x should have one SSA definition per implementation
}