yangdinglou

Here is my observation on this issue. It seems buggy in both cases, because the order of sub clauses matters. We don't know which variables should be grounded, so the...