Only write an i-judgment as a consequence of both an a-judgment and doing graph _propkind.
Authored by: ulrikp 2014-01-31
Parent: [r98]
Child: [r100]
