added mapping from slugsLTL to normalLTL, enabled GUI for user to examine spec problems  (still need to enable writing env liveness)