// TODO: actually implement some or all coercions?
branch.write(code.target(), result, code.assignedType());
}
protected void transform(Codes.Const code, VcBranch branch) {
Value val = convert(code.constant, branch.entry());
branch.write(code.target(), new Expr.Constant(val, branch.entry()
.attributes()), code.assignedType());
}