Leseprobe: A Unified Analytical Foundation for Constraint Handling Rules