Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs