implementing graph nodes (for cfg)