Add new theorems for flow-based architectures
Fix has_out_ports