Remove redundant normalization
Remove redundant normalization

Summary:
There is no need to call exp_normalize on the sub-expressions of
arguments to atom_normalize, as it calls exp_normalize on its
sub-expressions.

Reviewed By: cristianoc

Differential Revision: D3669390

fbshipit-source-id: 468b6b1

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