analyze code prior to desugaring
test the type-check-first
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
recreate proper ParentAttachments
editor shows expression types on mouse hover
protect against NPE
initial questionnaire commit