Experimenting with predicate abstraction - Miraldo, Victor Cacciari (2013)