library;
import self as self;
import "dart:core" as core;

static method main() → dynamic {
  core::bool b = false;
  {
    final core::List<core::String> #t1 = <core::String>[#C1];
    if(b)
      #t1.{core::List::add}{Invariant}(#C2){(core::String) → void};
  }
}

constants  {
  #C1 = "ab"
  #C2 = "cd"
}