I agree with David on this point. We should simply disallow attribute body that are for sure never going to be executed.