Adding the mustFill shared constraint