fixed var instantiation for bifs