VDM++でデシジョンテーブルを生成する