Cubicle 1.1.2 documentation and source : Prover.assume

let assume_node n ap =
  assume_node_no_check n ap;
  SMT.check  ()