Support for Procs in where