Set-extract

Example:

// Consider only low part
rule(a) {
  tmp = extract_low(a);
  return set_low(tmp);
} -> {
  return a;
}
// Consider only high part
rule(a) {
  tmp = extract_high(a);
  return set_high(tmp);
} -> {
  return a;
}