foo {
  test-37: interpolant>interpolant;
  test-38: interpolant >interpolant;
  test-39: interpolant> interpolant;
  test-40: interpolant > interpolant;
  test-41: interpolant>lschema_ritlp;
  test-42: interpolant >lschema_ritlp;
  test-43: interpolant> lschema_ritlp;
  test-44: interpolant > lschema_ritlp;
  test-45: interpolant>litlp_rschema;
  test-46: interpolant >litlp_rschema;
  test-47: interpolant> litlp_rschema;
  test-48: interpolant > litlp_rschema;
  test-49: lschema_ritlp>lschema_ritlp;
  test-50: lschema_ritlp >lschema_ritlp;
  test-51: lschema_ritlp> lschema_ritlp;
  test-52: lschema_ritlp > lschema_ritlp;
  test-53: lschema_ritlp>litlp_rschema;
  test-54: lschema_ritlp >litlp_rschema;
  test-55: lschema_ritlp> litlp_rschema;
  test-56: lschema_ritlp > litlp_rschema;
  test-57: litlp_rschema>litlp_rschema;
  test-58: litlp_rschema >litlp_rschema;
  test-59: litlp_rschema> litlp_rschema;
  test-60: litlp_rschema > litlp_rschema; }