Look inside implications in simplifyRule