fixed bug in fpredicates