[BUGFIX] Solve a then-else mismatch for foreign_label