how to get identifiers of specific rules in python ast

Question

I want to analyze the source code of logical coverage and I have to get all predicates for next steps. below is the SUT

def