Check if test arguments are not build on non natural conversions

Actually, it is now forbidden to write code such as
``
if(1) {
  // do something
}
``
This rule also applies to `for`-loops, `while`-loops and `do while`-loops.

Related to issue #16