Prevent infinite referencial rule recursion with a finite number of expansions