Added initial cycle assertions