parser mostly done just need to write make_program function in Flowlog.ml