Comment by redleggedfrog

What I want is to write less code. I'd like automated analysis help with finding better more concise ways to render the logic. More code != better.