

input_ports {
   integer A;
}

output_ports {
   integer B;
}

shared_var {
   mat2 M reader;
}

var {
   integer j;
}

input_rules {
   avail(A) => j = val(A); ||
   avail(A) => j = val(A);
}

comp {
   foo(j);
}

output_rules {
   true => B = j; &&
   true => B = j;
}
