further constraints on MethodDecl.structIf plus added first of many nested-if test cases