TypeInference: fixed functions with paths without a return statement
Merge branch 'master' of ssh://github/Wassasin/splang