>I prefer to "visualize" my code as manipulating a set of logical assertions that characterize the state of the computation, ultimately reaching the point where the state of the computation's properties satisfy the requirements
OTOH, functional code should be more like a pipeline (graph), and thus better suited for visualisation.
OTOH, functional code should be more like a pipeline (graph), and thus better suited for visualisation.