Fixed presentation bugs
Merged with ClaferChocoSOO
Fixed instance printing