Incremental Verification of Neural Networks