Making sure frame inference always terminates