Text this: On the Model Checking Problem for Some Extension of CTL*