implemented bound graph construction