Method on SAME-P specialized to CALL-AST.