Teach valuetracking that byval arguments with a specified alignment are