inlining コマンドで対象の述語を指定できるようにした (#43)

inlining コマンドで対象の述語を指定できるようにした (#43) #113