>>530
簡単な修正例だと、ソースで
neverallow A B:C D
みたいなコードに対して、エラーメッセージが
violated by allow A E:C D
が出たとき、ソースは"ー"(マイナス記号)をつかって、
neverallow A { B -E }:C D
と修正すればいい。