BDDEnv::compose added :).