Extend expressions that can be inferred in literalExpressionEvaluator

[AlejandroLabourdette]

In LiteralExpressionEvaluator pass, is applied a logic to evaluate expressions that can be known at compilation time and do some code optimizations. The logic to check if the value of an expression is known can be extended to include calls to a function that return the same value no matter the input. In practical use this can be rare to find.