https://bugzilla.redhat.com/show_bug.cgi?id=1550595
--- Comment #10 from dac.override@gmail.com --- redundant: https://github.com/tpm2-software/tpm2-abrmd/blob/1.x/selinux/tabrmd.te#L12
No i mean that you should probably populate that file with at least a minimal set of interfaces to interface with your domain.
Also thart .if file should ideally be installed with a seperate header devel-rpm that relies on the selinux-policy-devel rpm
This is a "header file" or a "devel" file