Css: Gecode::branch builtin