import javascript

query predicate test_PropWrite(DataFlow::PropWrite p) { any() }