Lower Bounds for Existential Pebble Games and k-Consistency Tests (Logical Methods in Computer Science, 2013)