test cases until, weakuntil and combined operators added