apparently applying functional extensionality wasn't needed anymore on Coq 8.4
another case (in Base.v) of unnecessary application of functional extensionality
needed to change order of injection tactiv in Netlist.v