It's possible to merge a non-class feature to a class feature 
provided that the resulting feature (including its inherited 
assertions) is instance-free.
