Phi construction for undefined variables runs into start block