[PM] Add support for using SFINAE to reflect on an analysis's result