Removing string notation so it can be received as an argument

Question

I\'m currently using a Ibex for constraint reasoning however I have a problem... There is a method called add_ctr(..) where I\'m supposed to pass some sort of i