Using abstrips abstractions -- where do we stand?