updates to how partial order is computed for proving assumptions