Returns true if the given state satisfies the initial precondition.
FutureOr<bool> initialPrecondition(State state) => true;