Лично я не верю, что в такой организации, как ПС, отсутствовало "повязывание кровью". Так что Снейп с весьма высокой вероятностью, убийца (пусть даже просто Авадой - но убийца). И двойным агентом он стал после пророчества ,так что оправдать это убийство необходимостью успешного внедрения не получится.