Removed wrong assumption (unknown call destinations)