semantic: Handle constant if conditions in CFG generation.