Extract and concat

Example:

rule(a) {
  lo = extract_low(a);
  hi = extract_high(a);
  return concat(lo,hi);
} -> {
  return a;
}