project for verification

[buggsley]

rm_nondeterminism(state_table); rm_fail_succs(state_table); rm_states_no_preds(state_table);

in project.c are only safe for verification. They should only be called in that case.