Partial infrastructure to translate JavaScript regex to CVC4 regex constraints