Removed SICL-specific requirement on FUNCTION-AST.