Method on SAME-P specialized to IF-AST.