protected WyilFile.Method propagate(WyilFile.Method method) {
this.method = method;
ArrayList<WyilFile.Case> cases = new ArrayList<WyilFile.Case>();
for (WyilFile.Case c : method.cases()) {
cases.add(propagate(c));
}
return new WyilFile.Method(method.modifiers(), method.name(), method.type(), cases);
}
