bugs in FOLTL
Some error messages prepared in FOLTL are neither raised as C interfacebugFOLTL.bc errors occur before
the satisfaction_degree(false,[]) should be 0 not nan
-> is not part of FOLTL syntax but is accepted (read as part of variable name)