WYCS: now parsing functions and predicates