source: Add code to check recursion in CA