Debugging is hard: There exists no automatic method that decides with generality nontrivial questions on the black-box behavior of programs