Minor optimization to the compiler second pass processing of synchronized and coinductive predicate definition tables