Add domset graph parsing, instance construction