================================================================================
Minimal
================================================================================
disconnect s : t after 10 ns;
--------------------------------------------------------------------------------

(design_file
  (disconnection_specification
    (guarded_signal_specification
      (signal_list
        (simple_name))
      (type_mark
        (simple_name)))
    (time_expression
      (physical_literal
        (integer_decimal)
        unit: (simple_name)))))

================================================================================
Signal list - Multiple signals
================================================================================
disconnect all    : t after 10 ns;
disconnect others : t after 10 ns;
disconnect s1, s2 : t after 10 ns;
--------------------------------------------------------------------------------

(design_file
  (disconnection_specification
    (guarded_signal_specification
      (signal_list
        (all))
      (type_mark
        (simple_name)))
    (time_expression
      (physical_literal
        (integer_decimal)
        unit: (simple_name))))
  (disconnection_specification
    (guarded_signal_specification
      (signal_list
        (others))
      (type_mark
        (simple_name)))
    (time_expression
      (physical_literal
        (integer_decimal)
        unit: (simple_name))))
  (disconnection_specification
    (guarded_signal_specification
      (signal_list
        (simple_name)
        (simple_name))
      (type_mark
        (simple_name)))
    (time_expression
      (physical_literal
        (integer_decimal)
        unit: (simple_name)))))
