removed code now presente in generate-conditions