optimization: decrease complexity of checking which inames are available for conditionals