Added simple tetscase for guard-trace merging