Unassigned signal-flow branches

Hello,

According to section 5.1.6, the 'brn' branch below is assigned a flow of 
zero when the true statement is not executed. This would be correct for 
a conservative branch, but the 'brn' is a signal-flow branch because 'a' 
net uses a signal-flow discipline. A signal flow branch has no flow 
according to section 3.9 paragraph 1.

   voltage a;
   branch (a) brn;
   real var;
   analog begin
      var = ..............;
      if (var) begin
         V(brn) <+ 5;
      end
   end

Should the behavior in section 5.1.6 be restricted to conservative 
branches only? Should there be restrictions on the non-constant 
conditional statements that contain signal-flow branch contributions in 
order  to avoid potential runtime floating nodes from occurring?

Regards
Graham

-- 
==========================================================
Graham Helwig
AMS Verification
Australian Semiconductor Technology Company (ASTC) Pty Ltd

Location: 76 Waymouth St, Adelaide, SA, 5000, Australia
Phone     +61-8-82312782
Moblie:   +61-4-03395909 
Email:    graham.helwig@astc-design.com
Web:      www.astc-design.com
==========================================================