Some more option handling stuff
Instance (hypergraph) is now parsed