public class CopyPropagation extends FixedPointAlgorithm {

  protected int direction() {
    return FPA_FORWARD;
  }

  protected int confluence() {       // Return is a constant from Set class
    return SET_INTERSECTION;
  }

  protected Set generate(BasicBlock b) {  // compute generate bitset */
    
  }

  protected Set kill(BasicBlock b) {     // compute kill bitset */

  }

  protected void optimize() {  /* Mutate Blocks to achieve desired effect */

  }

  protected void set_initial_conditions() {

  }

}