Line Verifier: consider more cases by switching the defining points in choose()