thesis: explain static conditionals translation