better formatting and access to annotations for all statements through html output inferface