parse assignments
say what not in scope
generate junctions