== bar ==
fun Int.bar(c: C) {
    this = c
}
---------------------
L0:
    <START>
    v(c: C)
    w(c)
    mark({ this = c })
    r(c)
    unsupported(BINARY_EXPRESSION : this = c)
L1:
    <END>                                        NEXT:[<SINK>]
error:
    <ERROR>                                      PREV:[]
sink:
    <SINK>                                       PREV:[<ERROR>, <END>]
=====================