Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States