[interval-pentagon-ai] Increase Num of Function Semantics

[schuler-henry]

Basic (coarse) semantics for more functions shall be implemented to increase the number of functions that produce intervals instead of overapproximating to top.