Handle unconstrained array ports in elaboration
Check for duplicate statement labels