Stack effect inference for conditionals
