Add predication flag to indicate pred array must be read before execution
Add SCC analysis and dep on SCC exit