type_check_bopl added