How many movies have Adriene Jenk and Dee Dee Halleck collaborated on?

They have not worked on any movies together...