number of errors      : 2

------------error list-------------------------------------------
rcase-Recurse.2: There is not a complete functional mapping between the particles. [35, 43]
derivation-ok-restriction.5.4.2: Error for type 'RestrictedFoo'.  The particle of the type is not a valid restriction of the particle of the base. [35, 43]
-----------------------------------------------------------------