The identity element for join is bottom
Fix useless-stack-ensures