Inductive Constraint Logicand the Mutagenesis Problem