Flexible Modeling of Unknowns in Model Checking for Incomplete Designs