SMS versenden: Towards High Order Constraint Representations for the Frequency Assignment Problem