Initial checker of reads when first assignment was in conditional branch