Move AST utils to a LOTOS.AST.Util module.
Infer process "functionality", as LOTOS defines it.