Mining CSTNUDs significant for a set of traces is polynomial