This section gives some programming hints. For maximum efficiency of your constraint handler, see also the subsection on options, especially on check_guard_bindings and the debug_compile flag.
