HACK: remove [PodSyntaxTests] because of problem with τ