// "iscomb-08.hac"
// copy-modified from "iscomb-07.hac"
// testing connection coherence of attributes
// @hflat-flags@ -fnode-attributes

defproc foo(bool w, y, a, c, e) {
bool x, z, b, d, f;

w @ [iscomb];
x @ [iscomb=0];
w = x;

y = z;
z @ [iscomb];

a = b;
a @ [iscomb];
b @ [iscomb=0];

c @[iscomb];
c = d;
d @[ iscomb=0];

e = f;
e @ [iscomb];
}

foo bar;

