fix uninterpreted variable