Spreadsheets are basically a dependency resolution system, since you have to inspect all cells to decide the order in which to evaluate them. So perhaps loeb is just that, a sort of a SAT solver.
I don’t think this is true; evaluation order of a cell with no dependencies or whose dependencies are already resolved shouldn’t matter