Added function to pull constraints from claferIR