Title: Compilation of Patterns to Relax