rlmv rob_composition.mv
init
dynamic_var_ordering -e sift
read_fairness huff.fair
set_init -v 1 -m usut -g protect_golden.reg
robustness -v 1