反復や再帰が停止することを静的に検査