add missing return (thanks analyzer!)
avoid some more unreachable code
[analyzer] add effect checker