// program.input

JPT-Input jp bar_callt1_JPN ID (a1 a2) () r1
JPTrace-Input 
  jp 
    foo_call //jpn
    oid1 // target
    (oid2 oid3) // actualArgs
    // (foo2_call foo3_call)
    ()
    oid4 // actualReturn

JPTraceCF-Input 
  jp
    foo_call //jpn
    Basket // target class
    (Integer Foo) // formalArgs
    // (foo2_call foo3_call)
    ()
    Integer //returnType