MTL formulas history


Adapted from LTLf:
------------------
ExclusiveChoice