shorter lines in discretize
extract trans update as function
style discretize
extract function reachable_within
filter state props
extract function sym_adj_change
Merge branch 'overhaul' of https://github.com/tulip-control/tulip-control into overhaul