Added postprocessors that infers coarser atomic unknown operations.

This postprocessor does not require replay since it considers only the operation kind and the type of the affected AST node.