Method on SAME-P specialized to FUNCTION-AST.