1. In a computing system that includes one or more processors and a computer-readable media having thereon computer-executable instructions, a method for the computing system to generate, prior to execution of a sequence of tasks, a sequence preconditions list and a sequence postconditions list for the entire sequence by combining and consolidating one or more preconditions and one or more postconditions from individual tasks in the sequence of tasks, and, also prior to execution of any task in the sequence of tasks, using the preconditions and postconditions to check for conflicts and thereby verify that the sequence of tasks is more likely not to fail, the method performed by executing the computer-executable instructions by the one or more processors, the method comprising the following: an act of accessing one or more preconditions for a first task in the sequence of tasks; an act of adding the one or more preconditions to the sequence preconditions list; an act of accessing one or more postconditions for the first task; an act of adding the one or more postconditions to the sequence postconditions list; for one or more subsequent tasks in the sequence of tasks, an act of performing the following, one subsequent task at a time: an act of accessing one or more preconditions for the subsequent task in the sequence of tasks; an act of comparing each of the one or more preconditions for the subsequent task with each of the conditions in the sequence preconditions list and the sequence postconditions list and determining whether a conflict exists; if a conflict is determined to exist between the one or more preconditions for the subsequent task and any of the conditions in the sequence preconditions list and the sequence postconditions list, an act of failing the sequence of tasks such that none of the tasks are executed; an act of determining whether or not the one or more preconditions for the subsequent task are equivalent to any conditions in the sequence post condition list; if the one or more preconditions for the subsequent task do not conflict with any of the conditions and are not equivalent to any of the conditions in sequence post condition list, an act of ensuring that the one or more preconditions are represented in the sequence preconditions list by adding the one or more preconditions to the sequence preconditions list unless an identical precondition already exists therein; an act of accessing one or more postconditions for the subsequent tasks; for each postcondition of the one or more postconditions for the subsequent tasks, an act of performing the following: an act of determining if the postcondition conflicts with any of the postconditions in the sequence postconditions list; if the postcondition does not conflict with any of the postconditions in the sequence postconditions list, an act of ensuring that the postcondition is represented in the sequence postconditions list by adding the postcondition to the sequence postconditions list unless an identical postcondition already exists therein; if the postcondition conflicts with any of the postconditions in the sequence postconditions list, an act of removing the preexisting conflicting postcondition from the sequence postconditions list.