Added reflective NodeBuilder (for timed automata)