Compute proposition ordering to propagate truth values. Terminal
proposition does not seem to be updated correctly.