Add constraint checking to search children function, as we only want to look at reachable children
Add constraint checking to search children function, as we only
want to look at reachable children

b-mueller/mythril,b-mueller/mythril,b-mueller/mythril,b-mueller/mythril