fall back to explicit entry: for incorrect/unexpected phis