Added checks to make sure that a function is being called with the correct number of arguments
Renamed llloop
Added merges-cf annotation to evaluate-if if the user did not provide an alternative-branch for the if-expression