finished result/stmt/substmt denorm
finished result and context denorm