Alir graph refactoring
pdg and defref clean
refactor