compiler: extension support, functional predicates