rewrote abstract
changed wording in Constraints
changed emph to texttt for the constraint file variables in the method description