// semmle-extractor-options: --separate-compilation

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