Test: Better print about conflicts in test & Refactorings

Factor AnnotatedExpr out of InferAssert
Extract InferWrappers/InferExamples out of Utils
Test: Add failing inferReplicateOfReplicate test