move polarity to formal of heap and add '|' op