Disable test case on Carbon (#567)

Author: JonasAlaif

src/test/resources/all/issues/silicon/0595.vpr

@@ -4,6 +4,7 @@ predicate P()
 
 method test()
   requires P()
+   //:: IgnoreFile(/carbon/issue/391/)
   ensures forall i: Int :: i == 0 ==> P()
 {}