On some decision problems for trace codings