out_of_line_constraint::=