When Amavis is used it creates only its own message headers which are an interpretation of the information it sees. So then, SNF and SNF4SA are very likely doing precisely what they should-- but Amavis is hiding all but the final score.