Added inverse transition functions for bit_or and bit_and aggregates