changes
Move operations from AbstractValue to Abstraction
Implement auxiliary operation methods once in abstract ancestor and avoid redundant redefinitions spanning all the subclasses
more changes
Remove a most probably redundant checks (reflection) of abstractions.

Only place where two different abstractions could meet is the Container
which is responsible for pairing matching abstractions.

Tests class == class.
Merge
small changes
finished document
small fix
First version
Initial set of examples for predicate abstraction
Initial set of examples for predicate abstraction
Move old example .jpf files to their respective directories
Improve AbstractInstructionFactory constructor readability
Fix refactoring leftovers
Make the AbstractionFactory interface cleaner
Adapt instruction factory to abstraction factory changes
First parser prototype
fixed examples
Modify parser grammar to support both path notations - untested