井泵

well formed constraint