Support for hints in Csp_inst