Add support for nested Ifs

Currently, nested ifs always fail to compile with errors of the kind:

Unexpected exception: Cannot invoke "context.UniquenessAnnotation.isGreaterEqualThan(context.Uniqueness)" because "vPerm" is null
Or others related to null states.

We want to be able to support nested If statements like the following:

if (condition) {
     if(condition){
           /*Some code*/
     }
     /*Some code*/        
} else {
     /*Some code*/
}

まず、issue の nested-if の例を再現し、null-state または vPerm 例外を生成するコンパイラーパスを追跡します。外側と内側の条件がどのように表現されているかを特定し、その後、ネストされた If 文がこれらの失敗なしに正常にコンパイルされることを確認します。