Massive update of indentation engine to use pda