1

A Rice's Theorem for Abstract Semantics