predator-regre: sed 's/___sl_get_nondet_int/__VERIFIER_nondet_int/g'
predator-builtins: add the __VERIFIER_assert(cond) macro
sl/symbin: change ___sl_plot() for __VERIFIER_plot()