Trace analysis related domains (3)