// RUN: %exits-with 4 %baredafny build --show-snippets:false --use-basename-for-filename --enforce-determinism "%s" > "%t"
// RUN: %diff "%s.expect" "%t"

method AlsoNondetIf() returns (x: int) {
  var b: bool;
  if b {
    x := 0;
  } else {
    x := 1;
  }
}

method AlsoNondetAssignButAccepted() returns (x: int) {
  var y: int;
  x := y;
}

method ArrayAllocation() returns (x: int) {
  var a := new int[10];
  return a[0];
}
