Separate NEVER part from AT_LEAST_ONCE part