Fix user_functions argument bug in CCodePrinter
Add test to ccode user_functions argument
Merge pull request #2086 from cdsousa/master

Fix user_functions argument bug in CCodePrinter