Method on SAME-P specialized to PROGN-AST.
Method on SAME-P specialized to BLOCK-AST.
Method on SAME-P specialized to RETURN-FROM-AST.