#define get_tarval_b_true() _get_tarval_b_true()
#define get_tarval_unreachable() _get_tarval_unreachable()
#define get_tarval_reachable() _get_tarval_reachable()
#define get_tarval_b_true() _get_tarval_b_true()
#define get_tarval_unreachable() _get_tarval_unreachable()
#define get_tarval_reachable() _get_tarval_reachable()