lial_user_bdd_library
