Separate functions in theories from functions in modules