Between and time env + time env counterex parsin