Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems