Added GUI with JavavFX. Added Atomic Proposition to LTS.