Infer known bits from dominating conditions