Updates to analysis and algol example