Global auxiliary fields X and Phi are constrained to local variables in the main function.