prior constranints woth 2d graph from pwn_mapper