NO

** BEGIN proof argument **
Mode g(i,i): the query g(0,0) is non-terminating (extracted from a LP pattern rule [Payet, ICLP'25])
** END proof argument **
Total number of generated unfolded rules = 52

