Infer right function with left pre-defined
Add test about function args
Add predfined syntax
wip wip
Fix templates
Add test about pre-defined