Method on SAME-P specialized to TYPEQ-AST.