private static void writeMarking(String id, String label, PrintWriter writer) {
        if (printoutput) {
            System.out.println("marking p_" + id + label + "0 1");
            System.out.println("marking p_" + id + label + "1 0");
        }