Prime Compilation of Non-Clausal Formulae