do not apply analyze bottom-up, analysis must do the traversal
reduce SDF timeout
extend example for type-checking annotations
toward analysis annotations in editor
fix recursion in analysis application
extend example