add trace and properties tests