Add filter-prac procedure in filter.scm