Lines Matching refs:IFS
19576 "TOO-MANY-IFS-POST-REWRITE-WRAPPER") (mkpair (mknum "2" "1" "0" "1") (mksym19582 "TOO-MANY-IFS-POST-REWRITE-PRELIM") (mkpair (mkpair (mksym "ACL2" "ARGS") (