Test Case Preconditions

Added test case preconditions (denoted with "~ "), and updated example and documentation to reflect changes.