Complete but bugged (segfault) over approximation