This rule is defined by the following XPath expression:
//Statement [parent::IfStatement[@Else='true']] [not(child::Block)] [not(child::IfStatement)]
Example:
public void doSomething() { // this is OK if (foo) x++; // but this is not if (foo) x=x+1; else x=x-1; }