Using Abstrips Abstraction - Where do we stand?