Method on SAME-P specialized to LOAD-TIME-VALUE-AST.