scv predicate: empty but successful ajax oracle calls will eb identified now.
scv predicate: empty but successful ajax oracle calls will eb identified now.

LinDA-tools/transformation,LinDA-tools/transformation,LinDA-tools/transformation