Added implementation for function application check

[jlvargasme]

• Function application is implemented for functions that do not have tuples as arguments
• Fixed parsing to accept refinement functions with refinement tuples
• Implementing refinement function declaration that has refinement tuples as arguments
• Implement refinement function application check for function with refinement tuples as arguments
• Fixed function input satisfiability check