“…Especially they are useful in studying closed timelike curves (CTCs) in Gödel universe [12]. The main motivation of studying Gödel universe is to find out fates of backgrounds with CTCs and it is interesting to study this problem in the string theory [13,14,15,16,17,18,19,20,21,22,23,24]. In this sense, the supersymmetric type IIA Gödel universe [15] will be a good example.…”