Optimize away isconcrete when possible.
Optimize away assertparamcheck when possible.