lazy condition prediction