better label for termination (no out conn -> effect withhout target
Fixed issue with tracing inOnly (was interpreted as OutOnly). We now
test explicitly.
improved report message