Interpolation-based learning as a mean to speed-up Bounded Model Checking