k3-sle: Externalize/inject inferrer's helpers functions
k3-sle: Performance issues; split inferrer for each model element in separate file and inject them back