FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex (Logical Methods in Computer Science, 2025)