Using the translations optimized for generating in the initial predicate 
if a constant is translated as a variable.