Add try/case/receive to list of constructs that can handle returns
Add _ = EXPR to the list of expressions that can handle no return