“Rice's theorem in computability theory establishes that all non-trivial semantic properties of programs are undecidable.”