ltlcross_wrapper
