Start a Given/When/Then sequence returning a generator to generate values of type T
Check the state of the system by taking an arbitrary value and using ScalaCheck properties to generate a Result
Create a context from a previous context by adding more generated data