Compilation patterns moved from CSPOM to Concrete because they should be
solver-specific. Must be adapted for the new CSPOM 3 API.