void zu::xml_writer::do_neg_node(cdk::neg_node * const node, int lvl) {
  processUnaryExpression(node, lvl);
}
void zu::xml_writer::do_identity_node(zu::identity_node * const node, int lvl){
  // FIXME
  processUnaryExpression(node, lvl);
}
void zu::xml_writer::do_mem_position_node(zu::mem_position_node * const node, int lvl){
  // FIXME 
  processUnaryExpression(node, lvl);
}
void zu::type_checker::do_not_node(zu::not_node * const node, int lvl) {

    processUnaryExpression(node, lvl);

}
void cpt::semantics::XMLwriter::processNEG(cdk::node::expression::NEG * const node, int lvl) {
  processUnaryExpression(node, lvl);
}
void cpt::semantics::XMLwriter::processMemoryReservation(cpt::node::expression::MemoryReservation * const node, int lvl) {
  processUnaryExpression(node, lvl);
}
void cpt::semantics::XMLwriter::processAddressing(cpt::node::expression::Addressing * const node, int lvl) {
  processUnaryExpression(node, lvl);
}
void zu::type_checker::do_pos_node(zu::pos_node * const node, int lvl) {
  //FIXME: Didnt change this. Is this ok?
  processUnaryExpression(node, lvl);
}