* h_program-lang/graph_code.ml: factorize property