Two-level rule compiler