Did you check if REJECT and WITHDRAW are defined in the mambu-models as well?