The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages