diff --git a/hercules_opt/src/pred.rs b/hercules_opt/src/pred.rs
index 587c4507a60b7827f4ca4e32789547feeafc0bdf..8f1d07454262a621d8f9c753a3c68b01752b3dc7 100644
--- a/hercules_opt/src/pred.rs
+++ b/hercules_opt/src/pred.rs
@@ -152,9 +152,13 @@ pub fn predication(editor: &mut FunctionEditor, typing: &Vec<TypeID>) {
                 && editor.get_constant(cons).is_false()
             {
                 editor.edit(|mut edit| {
+                    let inv = edit.add_node(Node::Unary {
+                        op: UnaryOperator::Not,
+                        input: first,
+                    });
                     let node = edit.add_node(Node::Binary {
                         op: BinaryOperator::And,
-                        left: first,
+                        left: inv,
                         right: third,
                     });
                     edit = edit.replace_all_uses(id, node)?;
@@ -188,9 +192,13 @@ pub fn predication(editor: &mut FunctionEditor, typing: &Vec<TypeID>) {
                 && editor.get_constant(cons).is_true()
             {
                 editor.edit(|mut edit| {
+                    let inv = edit.add_node(Node::Unary {
+                        op: UnaryOperator::Not,
+                        input: first,
+                    });
                     let node = edit.add_node(Node::Binary {
                         op: BinaryOperator::Or,
-                        left: first,
+                        left: inv,
                         right: second,
                     });
                     edit = edit.replace_all_uses(id, node)?;
diff --git a/juno_samples/rodinia/bfs/src/bfs.jn b/juno_samples/rodinia/bfs/src/bfs.jn
index ca0f77743ce831817fb528f4de029932d30099a0..2534a89c627f137bf4a65a7f3d61879c3d3670e6 100644
--- a/juno_samples/rodinia/bfs/src/bfs.jn
+++ b/juno_samples/rodinia/bfs/src/bfs.jn
@@ -43,7 +43,7 @@ fn bfs<n, m: usize>(graph_nodes: Node[n], source: u32, edges: u32[m]) -> i32[n]
     }
 
     @loop2 for i in 0..n {
-      stop = stop && updated[i];
+      stop = stop && !updated[i];
       if updated[i] {
         mask[i] = true;
         visited[i] = true;