7 module top(input i, output o);
11 (* constant_expression=1+1?2*2:3/3 *)
12 module sub(input i, output o);
19 select -assert-any top
20 select -assert-any sub
21 select -assert-none foo
25 select -assert-any top
26 select -assert-any sub
27 select -assert-none foo