naive_completeness: bugfix for primes with constants
Authored by: hannesklarner 2015-11-20
Parent: [r139]
Child: [r141]