private Context convert(Context context) { reset(); gatherVars(context.body(), vars); gatherVars(context.requires(), vars); K body = transform(context.body()); return new Context( body, addSideCondition(context.requires()), context.att()); }
private Rule convert(Rule rule) { reset(); gatherVars(rule.body(), vars); gatherVars(rule.requires(), vars); gatherVars(rule.ensures(), vars); K body = transform(rule.body()); return Rule( body, addSideCondition(rule.requires()), rule.ensures(), rule.att()); }