Adding an entry and exit nodes to the EFG