Question: How many outputs does the example EFI have?
Answer: The problem is not answerable