| Print (_,s) -> "print " ^ s
| Set (_, name, value) -> Printf.sprintf "set \"%s\" \"%s\"" name value
| NObj (_,o) -> "not supported"
+ | NUnivConstraint (_) -> "not supported"
+ | NQed (_) -> "not supported"
+ | Pump (_) -> "not supported"
let pp_punctuation_tactical =
function