display directive implemented and fixed a bug in parsing clasp3 output