in GameOfLife/Properties/Annotations.cs [252:256]
public ContractAnnotationAttribute([NotNull] string contract, bool forceFullStates) { Contract = contract; ForceFullStates = forceFullStates; }