precedence graph image