Add the loader package.
Add a simple tests for loader.
Associate an ast.Node with each ssa.Value and ssa.Instruction.