Add support for nested Ifs

[Pichers]

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*/
}