RFC Test, it actually exposes an issue with the type generalization in the .bcel package.