Add support for functions in If conditions

[Pichers]

Currently, functions returning booleans are not supported as an If condition
Here is a simple example of what we should be able to analyse:

if(isDivisor(7, 138)){
      qev1.add(3);
}