Support for has_in_ports and has_out_ports
Add new theorems that make use of has_out_ports