Unify types in different branches of if-else
Don't add type to context if only set in one branch