change interface: shared_ptr<FTPRL> -> FTPRL*
debug: racing condition of pred
debug: invalid controlling predicate