[e-acsl] fix printing of superfluous parentheses for function declarations

When attributes were present but not printed, unnecessary parentheses
were still placed. This applies the same solution for array declarations
to function declarations.