You should probably describe what goes in the additional_contraints list here (the type of elements). If it's a set of functions, that might be useful to know.