Simply say "Programs may not specialize is_execution_policy."