rlmv compostion.mv
init
_cexbdd