fixed abstraction bug; added abstraction dump option