--show-included-definitions works
module DART.CaseAnalysis.PredicateBranch which holds prettyPrintBranch and recordBranch