FIXED: possible crash when multiple threads are marking predicates