[clang2ir] fix implicit conversion of boolean term to predicate

framaCIRGen_src/ACSLTermOrPredicate.cpp

tests/basic/oracle/placement_new.res.oracle

tests/basic/oracle/placement_newb.res.oracle

tests/specs/oracle/logic_defs.res.oracle

tests/stl/oracle/stl_algorithm.res.oracle

tests/stl/oracle/stl_bool.res.oracle

tests/stl/oracle/stl_functional.res.oracle

tests/stl/oracle/stl_memory.res.oracle

tests/stl/oracle/stl_shared_ptr_mistake10.res.oracle

tests/stl/oracle/stl_shared_ptr_mistake5.res.oracle

tests/stl/oracle/stl_shared_ptr_mistake6.res.oracle

tests/stl/oracle/stl_system_error.res.oracle

tests/stl/oracle/stl_typeinfo.res.oracle

tests/stl/oracle/stl_unique_ptr.res.oracle