Adjusted output
Added IsAlwaysTrue check
Straightforward implementation of IsCompatible check
Straightforward implementation of IsCast check