base.Condition

mut #: imm base.Bool, // from base.ReturnStmt/1
mut #: imm base.Bool, // from base.ReturnStmt/1