added reserved words IN and OUT to substitute state vars for source (pre) and target (post) nodes