Flag for inf_cases added to the script. Hopefully now we can deal with this cases.