Add a if-conversion optimization that allows 'true' side of a diamond to be