Rule printing mostly functional, ignoring variable/name substitutions and flags;