Top-down parser for SSA