IR->SSM: this should fix the loads of local variables