fixed overspecific elaboration rules