Reimplement consider as a call to a function generated at compile time