As of now, when you add a horizontal, vertical, etc constraint to a line, and one already exists, the solver declares the design unsatisfiable. The user's intention was probably to make that line go in the direction it's already in, so adding a second identical constraint should be a legal no-op (keep the existing constraint and don't add a new one).