bug in trimming string buffer
boolean to test transitions connected to unsafe arcs
typo