Analyses, optimizations and extensions of constraint handling rules by T. Schrijvers