Added IDs for preconditions