cl/pointsto_fics: add && and || to the white-list

They are produced by CLSP on pt-1300.c.
cl/tests/data/pt-*.c: fix compile-time warnings
sl/symproc: eliminate a CLSP-specific assertion failure