Map function pointer name in CBN

This submission is to fix defect MAGN-2535 function pointer is not evaluated if the call is made in different CBN. 

That's because the name of variable that points to function is mapped to some unique name in CBN, but the call of this function pointer isn't updated to that unique name. Test case Defect_MAGN_2535 added.