make assumptions resolution order deterministic