Cover an usage in reactive programming in spec