added fpredicates interpreter