Added occurrence counter; more aggressive simplify
Better indentation when printing contexts