verification should ignore latch outputs with no .outputs