inline_constraint::=