sclass Prog_If implements Runnable {
  F0<Bool> condition;
  Runnable trueBranch, falseBranch;
  
  public void run {
    if (callF(condition))
      callF(trueBranch);
    else
      callF(falseBranch);
  }
}