dual-Horn clause

  1. redirect Horn clause