transform_accessible transform_copy

• transform_mask -> transform_accessible

• transform_copy: Copy all states. For each transition call 'trans'

• new prototype for 'trans': void (*trans) (unsigned src, bdd& cond, acc_cond::mark_t& acc, unsigned dst)