Add file to implement  Linear Temporal Logic (LTL) - WIP