Simplify normalization in Attribute.remove
Simplify normalization in Attribute.remove

Summary:
Attribute.remove was performing an ad hoc form of normalization on
atoms, replace with the standard normalization from Prop.

Reviewed By: cristianoc

Differential Revision: D3686041

fbshipit-source-id: b89e59e

jsachs/infer,jvillard/infer,ryoon/infer,jsachs/infer,ryoon/infer,jsachs/infer,jvillard/infer,jvillard/infer,jsachs/infer,xennygrimmato/infer,ropas/infer,kageiit/infer,facebook/infer,xennygrimmato/infer,facebook/infer,xennygrimmato/infer,kageiit/infer,xennygrimmato/infer,ryoon/infer,ryoon/infer,ropas/infer,kageiit/infer,facebook/infer,ropas/infer,ryoon/infer,kageiit/infer,facebook/infer,kageiit/infer,jsachs/infer,jsachs/infer,blzq/infer,xennygrimmato/infer,ropas/infer,kageiit/infer,facebook/infer,jvillard/infer,xennygrimmato/infer,xennygrimmato/infer,facebook/infer,blzq/infer,ropas/infer,jvillard/infer,blzq/infer,kageiit/infer,blzq/infer,jvillard/infer,facebook/infer,jvillard/infer,ropas/infer,ryoon/infer,blzq/infer,blzq/infer