+ added logging for behaviour traces (configurable, only for textual models, only for atomic behaviours), #166