* h_program-lang/database_code.ml: another issue #94 fix