Incremental Symbolic Bounded Model Checking of Software Using Interval Methods via Contractors