Add mapping between PROMModel and PromConstraints