模型裡有free node,所以要刪除所有massless節點。
是否可以透過prepost檢查?
是的,檢查free node有數種方法
keyword : free node、無定義節點、model check