* module/2-3 declaration cannot be created by term expansion
