bodyがtrueのみのDatalog式を含むsimplification対応

bodyがtrueのみのDatalog式を含むsimplification対応 #99