E cient Extraction of Imperative ComputationinConstraint Logic Programs