comp ({} LTLB_WFF) = {[(<*> LTLB_WFF),(<*> LTLB_WFF)]}