the LBT parser should make sure guards are Boolean
Currently (hoaparse.yy) calls parse_lbt()
(soon-to-be parse_prefix_ltl()
) to read the LBTT guards, but it does not ensure those are Boolean expressions.
Currently (hoaparse.yy) calls parse_lbt()
(soon-to-be parse_prefix_ltl()
) to read the LBTT guards, but it does not ensure those are Boolean expressions.