corretto errore in GetCallController dovuto al nondeterminismo