Learning Project-wise Subsequent Code Edits
via Interleaving Neural-based Induction
and Tool-based Deduction