added strict iff rule expressions to pseudo-code