pub fn compile(problem: &ConstraintProblem) -> Vec<Bytecode>
Compile a constraint problem into FLUX bytecodes.