prop_error: add unary operations