Artículo.
referencias al código C, o declaraciones C, las envuelve automáticamente con las expresiones correctas c_code o c_expr. Figura 9: Codificación de suponer. Si la condición asumida no se cumple, saltamos al final del proceso y forzamos un paso de retroceso Figura 10: Codificación de nondet_choice. 5.