Seol mar théacs é seo: Towards High Order Constraint Representations for the Frequency Assignment Problem