Experimenting with Predicate Abstraction - Miraldo, Victor Cacciari (2014)